Universal traversal sequences with backtracking
نویسندگان
چکیده
منابع مشابه
Universal Traversal Sequences with Backtracking
In this paper we introduce a new notion of traversal sequences that we call exploration sequences. Exploration sequences share many properties with the traversal sequences defined in [AKL+], but they also exhibit some new properties. In particular, they have an ability to backtrack, and their random properties are robust under choice of the probability distribution on labels. Further, we presen...
متن کاملUniversal Traversal Sequences
In this article we discuss a purely combinatorial problem, the construction of short universal traversal sequences, and its relationship to questions about logspace computation. We state the problem formally, show how it arises naturally in complexity theory, and review some of the known partial results. A basic introduction to complexity theory can be found in 6]. The P vs. NP problem is recog...
متن کاملUniversal Traversal Sequences for Expander Graphs
Graph reachability is a key problem in the study of various logarithmic space complexity classes. Its version for directed graphs is logspace complete for NSPACE(logn), and hence if proved to be in DSPACE(logn), the open question DSPACE(logn) = NSPACE(log n) will be settled. Seemingly the problem is easier for undirected graphs. In [1] it was shown to be in RLP (1-sided error, logspace, polynom...
متن کاملUNIVERSAL TRAVERSAL SEQUENCES OF LENGTH noUogn) FOR CLIQUES
The reachability problem for graphs is a key problem in understanding the power of various logarithmic space complexity classes. For example, the reachability problem for directed graphs is logspace-complete for the complexity class NspAcE(log n) [5] and hence the open question DSPACE(log n) = NSPACE(log n) can be settled by answering whether this reachability problem belongs to DsPAcE(log n). ...
متن کاملRandomized Backtracking in State Space Traversal
While exhaustive state space traversal is not feasible in reasonable time for complex concurrent programs, many techniques for efficient detection of concurrency errors and testing of concurrent programs have been introduced in recent years, such as directed search and context-bounded model checking. We propose to use depth-first traversal with randomized backtracking, where it is possible to b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2002
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(02)00023-5